$M$.bframe($k$ sends on $l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$L$ != ($M$.2.2.2.2.2.2.2.2.2).1($k$) $\Rightarrow$ $\uparrow$deq{-}member(IdLnkDeq;$l$;$L$)